Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧠 Symbolic AI
Logic Programming, Expert Systems, Constraint Solving, GOFAI
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
11446
posts in
364.9
ms
Part 2 - AI Chat Evaluation of the Formal Language in He
Xin
's
PEPC
System
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
💬
Prompt Engineering
Proof-oriented
Programming in F*
fstar-lang.org
·
2h
·
Discuss:
Lobsters
🔗
Dependent Types
AI
Automators
in Drupal. How to
Orchestrate
Multi-Step AI Workflows?
droptica.com
·
3h
🎭
Program Synthesis
Symbolic Pattern Temporal
Numeric
Planning with
Intermediate
Conditions and Effects
arxiv.org
·
1d
🔄
Systems Thinking
Building a
Production-Grade
Autonomous LLM Agent with Tool Use, Memory, and Multimodal
Capabilities
pub.towardsai.net
·
16h
💬
Prompt Engineering
Is anyone using AI for good?
stackoverflow.blog
·
16h
·
Discuss:
Hacker News
💡
Explainable AI
jordanrubin/FUTURE
_TOKENS: Composable reasoning skills for Claude -
antithesize
, excavate, metaphorize, synthesize, and more
github.com
·
17h
💬
Interactive REPLs
The
Slopacolypse
is here: Karpathy warns of "
Disuse
Atrophy" in 2026 workflows. Are we becoming high-level architects or just lazy auditors?
eu.36kr.com
·
11m
·
Discuss:
r/programming
🎭
Program Synthesis
GLM-5
: From
Vibe
Coding to Agentic Engineering
simonwillison.net
·
11h
💬
Prompt Engineering
ArXiv
Endorsement
for Paper on Neuro-Symbolic Architecture for Financial Agents
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
I
Pitted
3 AI Agents Against Each Other. The Result Was
Scary
.
pub.towardsai.net
·
16h
🤖
AI
Chain of
Mindset
: Reasoning with Adaptive Cognitive
Modes
arxiv.org
·
1d
🔄
Systems Thinking
Benchmark
&
Compare
the Best AI Models
arena.ai
·
15h
🤖
AI
Recursive
self-improvement
from AI models
marginalrevolution.com
·
1d
·
Discuss:
Hacker News
💬
Prompt Engineering
Claude Skills vs. MCP: A Technical
Comparison
for AI
Workflows
intuitionlabs.ai
·
1d
💬
Prompt Engineering
The "Are You
Sure
?" Problem: Why Your AI Keeps Changing Its
Mind
randalolson.com
·
12h
·
Discuss:
Hacker News
💬
Prompt Engineering
Agentic
Interactions
linkedin.com
·
17h
🔄
Systems Thinking
The
benefit
of
AI-assisted
coding isn't just about coding faster
johnlindblad.substack.com
·
11h
·
Discuss:
Substack
🎭
Program Synthesis
AI Assistant (Beta) ―
Raindrop.io
Help
help.raindrop.io
·
6h
🤖
AI
Self-Referential
Quantum Barriers for AGI
Containment
redact-app.com
·
14h
·
Discuss:
Hacker News
🏰
Capability Machines
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help